Fault Diagnosis of Event-Driven Systems based on Timed Markov Model with Maximum Entropy Principle

نویسندگان
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Fault Diagnosis of Event-Driven Control Systems based on Timed Markov Model with Maximum Entropy Estimation

This paper presents a new fault diagnosis technology for event-driven controlled systems such as Programmable Logic Control (PLC). The controlled plant is modeled by means of the Timed Markov Model, which regards the time interval between successive two events as a random variable. In order to estimate the probability density functions of the randomized time intervals, the maximum entropy princ...

متن کامل

On-Line Fault Inference for Large-Scale Event-Driven Systems Based on Bayesian Network and Timed Markov Model

This paper presents an on-line fault inference, diagnosis ,and detection strategy for large-scale event-driven controlled systems. First of all, the controlled plant is decomposed into some subsystems, and the global diagnosis is formulated using the Bayesian Network (BN), which represents the causal relationship between the fault and observation in subsystems. The graph structure of the BN is ...

متن کامل

Using Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)

A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...

متن کامل

Fault Diagnosis of Timed Systems

For more than two decades, researchers have tried to develop tools and algorithms to increase the dependability of computerized systems. All the verification techniques can be gathered under the generic name of formal methods, the most famous and successful one being certainly model checking [SCH 99], which consists in building a mathematical model of a system S, and then check that it satisfie...

متن کامل

Centralized/Decentralized Fault Diagnosis of Event-Driven Systems based on Probabilistic Inference

Event-driven controlled systems based on the Programmable Logic Controller (PLC) are widely used in many industrial processes. The number of such a control system is said to occupy more than eighty percent of the entire existing control systems. Nowadays, the demands for production facilities are shifting from the high speed and highly efficiency to the safety and high reliability. In order to ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Transactions of the Society of Instrument and Control Engineers

سال: 2006

ISSN: 0453-4654

DOI: 10.9746/sicetr1965.42.1067